Harvard University

Results: 6605



#Item
11Asynchronous Functional Reactive Programming for GUIs Evan Czaplicki Stephen Chong Harvard University

Asynchronous Functional Reactive Programming for GUIs Evan Czaplicki Stephen Chong Harvard University

Add to Reading List

Source URL: people.seas.harvard.edu

Language: English - Date: 2013-04-02 15:04:49
    12Ultraproducts and Large Cardinals: The Early History Dana S. Scott University Professor Emeritus Carnegie Mellon University

    Ultraproducts and Large Cardinals: The Early History Dana S. Scott University Professor Emeritus Carnegie Mellon University

    Add to Reading List

    Source URL: logic.harvard.edu

    Language: English - Date: 2011-09-20 00:26:33
      13Peter Koellner Department of Philosophy 320 Emerson Hall, Harvard University Cambridge, MA3970

      Peter Koellner Department of Philosophy 320 Emerson Hall, Harvard University Cambridge, MA3970

      Add to Reading List

      Source URL: logic.harvard.edu

      Language: English - Date: 2011-09-20 00:26:33
        14QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday January 18, 2011 (DayCA) Evaluate

        QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday January 18, 2011 (DayCA) Evaluate

        Add to Reading List

        Source URL: www.math.harvard.edu

        Language: English - Date: 2017-08-22 21:09:52
          15Learning is Change in Knowledge: Knowledge-based Security for Dynamic Policies Aslan Askarov Harvard University Abstract—In systems that handle confidential information,

          Learning is Change in Knowledge: Knowledge-based Security for Dynamic Policies Aslan Askarov Harvard University Abstract—In systems that handle confidential information,

          Add to Reading List

          Source URL: askarov.net

          Language: English - Date: 2017-05-02 08:00:35
            16Democratizing content publication with Coral Michael J. Freedman, Eric Freudenthal, David Mazi`eres New York University http://www.scs.cs.nyu.edu/coral/ Abstract

            Democratizing content publication with Coral Michael J. Freedman, Eric Freudenthal, David Mazi`eres New York University http://www.scs.cs.nyu.edu/coral/ Abstract

            Add to Reading List

            Source URL: read.seas.harvard.edu

            Language: English - Date: 2018-01-22 09:47:04
              17Making Events Less Slippery With eel Ryan Cunningham and Eddie Kohler University of California, Los Angeles , Abstract

              Making Events Less Slippery With eel Ryan Cunningham and Eddie Kohler University of California, Los Angeles , Abstract

              Add to Reading List

              Source URL: read.seas.harvard.edu

              Language: English - Date: 2018-01-22 09:47:04
                18Hanf Numbers and Presentation Theorems in AECs John Baldwin∗ Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago Will Boney†

                Hanf Numbers and Presentation Theorems in AECs John Baldwin∗ Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago Will Boney†

                Add to Reading List

                Source URL: math.harvard.edu

                Language: English - Date: 2016-07-25 16:06:15
                  19Formalizing the SAFECode Type System Daniel Huang and Greg Morrisett Harvard University, Cambridge MA 02138, USA, ,

                  Formalizing the SAFECode Type System Daniel Huang and Greg Morrisett Harvard University, Cambridge MA 02138, USA, ,

                  Add to Reading List

                  Source URL: danehuang.github.io

                  Language: English - Date: 2017-05-24 19:52:40